Gilles Dowek (auth.): tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (15)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

Godina:

1999

Jezik:

english

Fajl:

PDF, 3.53 MB

0 / 0

english, 1999

2

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 2.75 MB

0 / 0

english, 2000

3

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)

Godina:

1996

Jezik:

english

Fajl:

DJVU, 2.40 MB

0 / 0

english, 1996

4

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

Godina:

1999

Jezik:

english

Fajl:

PDF, 3.24 MB

0 / 0

english, 1999

5

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Dowek (auth.), Robert Nieuwenhuis (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 4.44 MB

0 / 0

english, 2005

6

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 13.52 MB

0 / 0

english, 2008

7

Principles of programming languages

Principles of programming languages

Springer-Verlag London

Gilles Dowek (auth.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 1.95 MB

0 / 0

english, 2009

8

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Springer-Verlag London

Gilles Dowek, Jean-Jacques Lévy (auth.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 907 KB

0 / 0

english, 2011

9

Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

Springer-Verlag London

Gilles Dowek (auth.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 954 KB

0 / 5.0

english, 2011

10

Principles of Programming Languages

Principles of Programming Languages

Springer-Verlag London

Gilles Dowek (auth.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 9.72 MB

0 / 0

english, 2009

11

Proofs and algorithms: An introduction to logic and computability

Proofs and algorithms: An introduction to logic and computability

Springer-Verlag London

Gilles Dowek (auth.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 944 KB

0 / 0

english, 2011

12

Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

Springer-Verlag London

Gilles Dowek (auth.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 1.61 MB

0 / 0

english, 2011

13

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Springer-Verlag London

Gilles Dowek, Jean-Jacques Lévy (auth.)

Godina:

2011

Jezik:

english

Fajl:

PDF, 1.05 MB

0 / 0

english, 2011

14

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 6.04 MB

0 / 0

english, 2008

15

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Springer-Verlag London

Gilles Dowek, Jean-Jacques Lévy (auth.)

Godina:

2011

Jezik:

english

Fajl:

DJVU, 798 KB

0 / 0

english, 2011